<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>

<title>OperationExtractor (randoop 4.1.0 API)</title>

<link rel="stylesheet" type="text/css" href="../../javadocstyle.css" title="Style">
<script type="text/javascript" src="../../script.js"></script>
</head>
<body>
<script type="text/javascript"><!--
    try {
        if (location.href.indexOf('is-external=true') == -1) {
            parent.document.title="OperationExtractor (randoop 4.1.0 API)";
        }
    }
    catch(err) {
    }
//-->
var methods = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10,"i5":10,"i6":10};
var tabs = {65535:["t0","All Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]};
var altColor = "altColor";
var rowColor = "rowColor";
var tableTab = "tableTab";
var activeTableTab = "activeTableTab";
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar.top">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.top.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/reflection/OmitMethodsPredicate.html" title="class in randoop.reflection"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/reflection/OperationModel.html" title="class in randoop.reflection"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/reflection/OperationExtractor.html" target="_top">Frames</a></li>
<li><a href="OperationExtractor.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">randoop.reflection</div>
<h2 title="Class OperationExtractor" class="title">Class OperationExtractor</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">java.lang.Object</a></li>
<li>
<ul class="inheritance">
<li><a href="../../randoop/reflection/DefaultClassVisitor.html" title="class in randoop.reflection">randoop.reflection.DefaultClassVisitor</a></li>
<li>
<ul class="inheritance">
<li>randoop.reflection.OperationExtractor</li>
</ul>
</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<dl>
<dt>All Implemented Interfaces:</dt>
<dd><a href="../../randoop/reflection/ClassVisitor.html" title="interface in randoop.reflection">ClassVisitor</a></dd>
</dl>
<hr>
<br>
<pre>public class <span class="typeNameLabel">OperationExtractor</span>
extends <a href="../../randoop/reflection/DefaultClassVisitor.html" title="class in randoop.reflection">DefaultClassVisitor</a></pre>
<div class="block">OperationExtractor is a <a href="../../randoop/reflection/ClassVisitor.html" title="interface in randoop.reflection"><code>ClassVisitor</code></a> that creates a collection of <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a>
 objects for a particular <a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types"><code>ClassOrInterfaceType</code></a> through its visit methods as called by
 <a href="../../randoop/reflection/ReflectionManager.html#apply-java.lang.Class-"><code>ReflectionManager.apply(Class)</code></a>.</div>
<dl>
<dt><span class="seeLabel">See Also:</span></dt>
<dd><a href="../../randoop/reflection/ReflectionManager.html" title="class in randoop.reflection"><code>ReflectionManager</code></a>, 
<a href="../../randoop/reflection/ClassVisitor.html" title="interface in randoop.reflection"><code>ClassVisitor</code></a></dd>
</dl>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Field Summary table, listing fields, and an explanation">
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Field and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#classType">classType</a></span></code>
<div class="block">The type of the declaring class for the collected operations.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private static boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#debug">debug</a></span></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/reflection/OmitMethodsPredicate.html" title="class in randoop.reflection">OmitMethodsPredicate</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#omitPredicate">omitPredicate</a></span></code>
<div class="block">The predicate to test whether to omit an operation</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Collection.html?is-external=true" title="class or interface in java.util">Collection</a>&lt;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#operations">operations</a></span></code>
<div class="block">The operations collected by the extractor.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition">SpecificationCollection</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#operationSpecifications">operationSpecifications</a></span></code>
<div class="block">The specifications (pre/post/throws-conditions).</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private <a href="../../randoop/reflection/ReflectionPredicate.html" title="interface in randoop.reflection">ReflectionPredicate</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#reflectionPredicate">reflectionPredicate</a></span></code>
<div class="block">The reflection policy for collecting operations.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/reflection/VisibilityPredicate.html" title="class in randoop.reflection">VisibilityPredicate</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#visibilityPredicate">visibilityPredicate</a></span></code>
<div class="block">The predicate to test visibility.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#OperationExtractor-randoop.types.ClassOrInterfaceType-randoop.reflection.ReflectionPredicate-randoop.reflection.OmitMethodsPredicate-randoop.reflection.VisibilityPredicate-">OperationExtractor</a></span>(<a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;classType,
                  <a href="../../randoop/reflection/ReflectionPredicate.html" title="interface in randoop.reflection">ReflectionPredicate</a>&nbsp;reflectionPredicate,
                  <a href="../../randoop/reflection/OmitMethodsPredicate.html" title="class in randoop.reflection">OmitMethodsPredicate</a>&nbsp;omitPredicate,
                  <a href="../../randoop/reflection/VisibilityPredicate.html" title="class in randoop.reflection">VisibilityPredicate</a>&nbsp;visibilityPredicate)</code>
<div class="block">Creates a visitor object that collects the <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> objects corresponding to
 members of the class satisfying the given visibility and reflection predicates.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colOne"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#OperationExtractor-randoop.types.ClassOrInterfaceType-randoop.reflection.ReflectionPredicate-randoop.reflection.OmitMethodsPredicate-randoop.reflection.VisibilityPredicate-randoop.condition.SpecificationCollection-">OperationExtractor</a></span>(<a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;classType,
                  <a href="../../randoop/reflection/ReflectionPredicate.html" title="interface in randoop.reflection">ReflectionPredicate</a>&nbsp;reflectionPredicate,
                  <a href="../../randoop/reflection/OmitMethodsPredicate.html" title="class in randoop.reflection">OmitMethodsPredicate</a>&nbsp;omitPredicate,
                  <a href="../../randoop/reflection/VisibilityPredicate.html" title="class in randoop.reflection">VisibilityPredicate</a>&nbsp;visibilityPredicate,
                  <a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition">SpecificationCollection</a>&nbsp;operationSpecifications)</code>
<div class="block">Creates a visitor object that collects the <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> objects corresponding to
 members of the class satisfying the given visibility and reflection predicates and that don't
 violate the omit method predicate.</div>
</td>
</tr>
<tr class="altColor">
<td class="colOne"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#OperationExtractor-randoop.types.ClassOrInterfaceType-randoop.reflection.ReflectionPredicate-randoop.reflection.VisibilityPredicate-">OperationExtractor</a></span>(<a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;classType,
                  <a href="../../randoop/reflection/ReflectionPredicate.html" title="interface in randoop.reflection">ReflectionPredicate</a>&nbsp;reflectionPredicate,
                  <a href="../../randoop/reflection/VisibilityPredicate.html" title="class in randoop.reflection">VisibilityPredicate</a>&nbsp;visibilityPredicate)</code>
<div class="block">Creates a visitor object that collects the <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> objects corresponding to
 members of the class satisfying the given visibility and reflection predicates.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method.summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd">&nbsp;</span></span><span id="t2" class="tableTab"><span><a href="javascript:show(2);">Instance Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd">&nbsp;</span></span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr id="i0" class="altColor">
<td class="colFirst"><code>private void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#checkSubTypes-randoop.operation.TypedClassOperation-">checkSubTypes</a></span>(<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;operation)</code>
<div class="block">Ensures that field <code>classType</code> of this object is a subtype of <code>operation.getDeclaringType()</code>; throws an exception if not.</div>
</td>
</tr>
<tr id="i1" class="rowColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/util/Collection.html?is-external=true" title="class or interface in java.util">Collection</a>&lt;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#getOperations--">getOperations</a></span>()</code>
<div class="block">Returns the <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> objects collected for <a href="../../randoop/reflection/OperationExtractor.html#classType"><code>classType</code></a>.</div>
</td>
</tr>
<tr id="i2" class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#instantiateTypes-randoop.operation.TypedClassOperation-">instantiateTypes</a></span>(<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;operation)</code>
<div class="block">Updates the operation types in the case that <code>operation.getDeclaringType()</code> is generic,
 but <code>classType</code> is not.</div>
</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#visit-java.lang.reflect.Constructor-">visit</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Constructor.html?is-external=true" title="class or interface in java.lang.reflect">Constructor</a>&lt;?&gt;&nbsp;constructor)</code>
<div class="block">Creates a <a href="../../randoop/operation/ConstructorCall.html" title="class in randoop.operation"><code>ConstructorCall</code></a> object for the <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Constructor.html?is-external=true" title="class or interface in java.lang.reflect"><code>Constructor</code></a>.</div>
</td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#visit-java.lang.Enum-">visit</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Enum.html?is-external=true" title="class or interface in java.lang">Enum</a>&lt;?&gt;&nbsp;e)</code>
<div class="block">Creates a <a href="../../randoop/operation/EnumConstant.html" title="class in randoop.operation"><code>EnumConstant</code></a> object for the <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Enum.html?is-external=true" title="class or interface in java.lang"><code>Enum</code></a>.</div>
</td>
</tr>
<tr id="i5" class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#visit-java.lang.reflect.Field-">visit</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Field.html?is-external=true" title="class or interface in java.lang.reflect">Field</a>&nbsp;field)</code>
<div class="block">Adds the <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation"><code>Operation</code></a> objects corresponding to getters and setters appropriate to the kind
 of field.</div>
</td>
</tr>
<tr id="i6" class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/OperationExtractor.html#visit-java.lang.reflect.Method-">visit</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&nbsp;method)</code>
<div class="block">Creates a <a href="../../randoop/operation/MethodCall.html" title="class in randoop.operation"><code>MethodCall</code></a> object for the <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect"><code>Method</code></a>.</div>
</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods.inherited.from.class.randoop.reflection.DefaultClassVisitor">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;randoop.reflection.<a href="../../randoop/reflection/DefaultClassVisitor.html" title="class in randoop.reflection">DefaultClassVisitor</a></h3>
<code><a href="../../randoop/reflection/DefaultClassVisitor.html#visit-java.lang.Class-randoop.reflection.ReflectionManager-">visit</a>, <a href="../../randoop/reflection/DefaultClassVisitor.html#visitAfter-java.lang.Class-">visitAfter</a>, <a href="../../randoop/reflection/DefaultClassVisitor.html#visitBefore-java.lang.Class-">visitBefore</a></code></li>
</ul>
<ul class="blockList">
<li class="blockList"><a name="methods.inherited.from.class.java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></h3>
<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#clone--" title="class or interface in java.lang">clone</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#equals-java.lang.Object-" title="class or interface in java.lang">equals</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#finalize--" title="class or interface in java.lang">finalize</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#getClass--" title="class or interface in java.lang">getClass</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#hashCode--" title="class or interface in java.lang">hashCode</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notify--" title="class or interface in java.lang">notify</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notifyAll--" title="class or interface in java.lang">notifyAll</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#toString--" title="class or interface in java.lang">toString</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait--" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-int-" title="class or interface in java.lang">wait</a></code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ FIELD DETAIL =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a name="debug">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>debug</h4>
<pre>private static&nbsp;boolean debug</pre>
</li>
</ul>
<a name="classType">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>classType</h4>
<pre>private&nbsp;<a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a> classType</pre>
<div class="block">The type of the declaring class for the collected operations.</div>
</li>
</ul>
<a name="operations">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>operations</h4>
<pre>private final&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Collection.html?is-external=true" title="class or interface in java.util">Collection</a>&lt;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&gt; operations</pre>
<div class="block">The operations collected by the extractor. This is the product of applying the visitor.</div>
</li>
</ul>
<a name="reflectionPredicate">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>reflectionPredicate</h4>
<pre>private final&nbsp;<a href="../../randoop/reflection/ReflectionPredicate.html" title="interface in randoop.reflection">ReflectionPredicate</a> reflectionPredicate</pre>
<div class="block">The reflection policy for collecting operations.</div>
</li>
</ul>
<a name="omitPredicate">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>omitPredicate</h4>
<pre>private&nbsp;<a href="../../randoop/reflection/OmitMethodsPredicate.html" title="class in randoop.reflection">OmitMethodsPredicate</a> omitPredicate</pre>
<div class="block">The predicate to test whether to omit an operation</div>
</li>
</ul>
<a name="visibilityPredicate">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>visibilityPredicate</h4>
<pre>private final&nbsp;<a href="../../randoop/reflection/VisibilityPredicate.html" title="class in randoop.reflection">VisibilityPredicate</a> visibilityPredicate</pre>
<div class="block">The predicate to test visibility.</div>
</li>
</ul>
<a name="operationSpecifications">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>operationSpecifications</h4>
<pre>private final&nbsp;<a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition">SpecificationCollection</a> operationSpecifications</pre>
<div class="block">The specifications (pre/post/throws-conditions).</div>
</li>
</ul>
</li>
</ul>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="OperationExtractor-randoop.types.ClassOrInterfaceType-randoop.reflection.ReflectionPredicate-randoop.reflection.OmitMethodsPredicate-randoop.reflection.VisibilityPredicate-randoop.condition.SpecificationCollection-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>OperationExtractor</h4>
<pre>public&nbsp;OperationExtractor(<a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;classType,
                          <a href="../../randoop/reflection/ReflectionPredicate.html" title="interface in randoop.reflection">ReflectionPredicate</a>&nbsp;reflectionPredicate,
                          <a href="../../randoop/reflection/OmitMethodsPredicate.html" title="class in randoop.reflection">OmitMethodsPredicate</a>&nbsp;omitPredicate,
                          <a href="../../randoop/reflection/VisibilityPredicate.html" title="class in randoop.reflection">VisibilityPredicate</a>&nbsp;visibilityPredicate,
                          <a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition">SpecificationCollection</a>&nbsp;operationSpecifications)</pre>
<div class="block">Creates a visitor object that collects the <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> objects corresponding to
 members of the class satisfying the given visibility and reflection predicates and that don't
 violate the omit method predicate.

 <p>Once created this visitor should only be applied to members of <code>classType.getRuntimeType()</code>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>classType</code> - the declaring class for collected operations</dd>
<dd><code>reflectionPredicate</code> - the reflection predicate</dd>
<dd><code>omitPredicate</code> - the list of <code>Pattern</code> objects for omitting methods, may be null</dd>
<dd><code>visibilityPredicate</code> - the predicate for test visibility</dd>
<dd><code>operationSpecifications</code> - the specifications (pre/post/throws-conditions)</dd>
</dl>
</li>
</ul>
<a name="OperationExtractor-randoop.types.ClassOrInterfaceType-randoop.reflection.ReflectionPredicate-randoop.reflection.VisibilityPredicate-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>OperationExtractor</h4>
<pre>public&nbsp;OperationExtractor(<a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;classType,
                          <a href="../../randoop/reflection/ReflectionPredicate.html" title="interface in randoop.reflection">ReflectionPredicate</a>&nbsp;reflectionPredicate,
                          <a href="../../randoop/reflection/VisibilityPredicate.html" title="class in randoop.reflection">VisibilityPredicate</a>&nbsp;visibilityPredicate)</pre>
<div class="block">Creates a visitor object that collects the <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> objects corresponding to
 members of the class satisfying the given visibility and reflection predicates.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>classType</code> - the declaring class for collected operations</dd>
<dd><code>reflectionPredicate</code> - the reflection predicate</dd>
<dd><code>visibilityPredicate</code> - the predicate for test visibility</dd>
</dl>
</li>
</ul>
<a name="OperationExtractor-randoop.types.ClassOrInterfaceType-randoop.reflection.ReflectionPredicate-randoop.reflection.OmitMethodsPredicate-randoop.reflection.VisibilityPredicate-">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>OperationExtractor</h4>
<pre>public&nbsp;OperationExtractor(<a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;classType,
                          <a href="../../randoop/reflection/ReflectionPredicate.html" title="interface in randoop.reflection">ReflectionPredicate</a>&nbsp;reflectionPredicate,
                          <a href="../../randoop/reflection/OmitMethodsPredicate.html" title="class in randoop.reflection">OmitMethodsPredicate</a>&nbsp;omitPredicate,
                          <a href="../../randoop/reflection/VisibilityPredicate.html" title="class in randoop.reflection">VisibilityPredicate</a>&nbsp;visibilityPredicate)</pre>
<div class="block">Creates a visitor object that collects the <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> objects corresponding to
 members of the class satisfying the given visibility and reflection predicates.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>classType</code> - the declaring class for collected operations</dd>
<dd><code>reflectionPredicate</code> - the reflection predicate</dd>
<dd><code>omitPredicate</code> - the list of <code>Pattern</code> objects for omitting methods, may be null</dd>
<dd><code>visibilityPredicate</code> - the predicate for test visibility</dd>
</dl>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method.detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="instantiateTypes-randoop.operation.TypedClassOperation-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>instantiateTypes</h4>
<pre>private&nbsp;<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;instantiateTypes(<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;operation)</pre>
<div class="block">Updates the operation types in the case that <code>operation.getDeclaringType()</code> is generic,
 but <code>classType</code> is not. Constructs a <a href="../../randoop/types/Substitution.html" title="class in randoop.types"><code>Substitution</code></a> that unifies the generic
 declaring type with <code>classType</code> or a superType.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>operation</code> - the operation to instantiate</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>operation instantiated to match <code>classType</code> if the declaring type is generic and
     <code>classType</code> is not; the unmodified operation otherwise</dd>
<dt><span class="throwsLabel">Throws:</span></dt>
<dd><code><a href="../../randoop/BugInRandoopException.html" title="class in randoop">BugInRandoopException</a></code> - if there is no substitution that unifies the declaring type with
     <code>classType</code> or a supertype</dd>
</dl>
</li>
</ul>
<a name="checkSubTypes-randoop.operation.TypedClassOperation-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>checkSubTypes</h4>
<pre>private&nbsp;void&nbsp;checkSubTypes(<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;operation)</pre>
<div class="block">Ensures that field <code>classType</code> of this object is a subtype of <code>operation.getDeclaringType()</code>; throws an exception if not.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>operation</code> - the operation for which types are to be checked</dd>
<dt><span class="throwsLabel">Throws:</span></dt>
<dd><code><a href="../../randoop/BugInRandoopException.html" title="class in randoop">BugInRandoopException</a></code> - if field <code>classType</code> of this is not a subtype of <code>operation.getDeclaringType()</code></dd>
</dl>
</li>
</ul>
<a name="visit-java.lang.reflect.Constructor-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>visit</h4>
<pre>public&nbsp;void&nbsp;visit(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Constructor.html?is-external=true" title="class or interface in java.lang.reflect">Constructor</a>&lt;?&gt;&nbsp;constructor)</pre>
<div class="block">Creates a <a href="../../randoop/operation/ConstructorCall.html" title="class in randoop.operation"><code>ConstructorCall</code></a> object for the <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Constructor.html?is-external=true" title="class or interface in java.lang.reflect"><code>Constructor</code></a>.</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../randoop/reflection/ClassVisitor.html#visit-java.lang.reflect.Constructor-">visit</a></code>&nbsp;in interface&nbsp;<code><a href="../../randoop/reflection/ClassVisitor.html" title="interface in randoop.reflection">ClassVisitor</a></code></dd>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="../../randoop/reflection/DefaultClassVisitor.html#visit-java.lang.reflect.Constructor-">visit</a></code>&nbsp;in class&nbsp;<code><a href="../../randoop/reflection/DefaultClassVisitor.html" title="class in randoop.reflection">DefaultClassVisitor</a></code></dd>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>constructor</code> - a <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Constructor.html?is-external=true" title="class or interface in java.lang.reflect"><code>Constructor</code></a> object to be represented as an <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation"><code>Operation</code></a></dd>
</dl>
</li>
</ul>
<a name="visit-java.lang.reflect.Method-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>visit</h4>
<pre>public&nbsp;void&nbsp;visit(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&nbsp;method)</pre>
<div class="block">Creates a <a href="../../randoop/operation/MethodCall.html" title="class in randoop.operation"><code>MethodCall</code></a> object for the <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect"><code>Method</code></a>.

 <p>The created operation has the declaring class of <code>method</code> as the declaring type. An
 exception is a static method for which the declaring class is not public, in which case <a href="../../randoop/reflection/OperationExtractor.html#classType"><code>classType</code></a> is used as the declaring class.</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../randoop/reflection/ClassVisitor.html#visit-java.lang.reflect.Method-">visit</a></code>&nbsp;in interface&nbsp;<code><a href="../../randoop/reflection/ClassVisitor.html" title="interface in randoop.reflection">ClassVisitor</a></code></dd>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="../../randoop/reflection/DefaultClassVisitor.html#visit-java.lang.reflect.Method-">visit</a></code>&nbsp;in class&nbsp;<code><a href="../../randoop/reflection/DefaultClassVisitor.html" title="class in randoop.reflection">DefaultClassVisitor</a></code></dd>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>method</code> - a <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect"><code>Method</code></a> object to be represented as an <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation"><code>Operation</code></a></dd>
</dl>
</li>
</ul>
<a name="visit-java.lang.reflect.Field-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>visit</h4>
<pre>public&nbsp;void&nbsp;visit(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Field.html?is-external=true" title="class or interface in java.lang.reflect">Field</a>&nbsp;field)</pre>
<div class="block">Adds the <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation"><code>Operation</code></a> objects corresponding to getters and setters appropriate to the kind
 of field.</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../randoop/reflection/ClassVisitor.html#visit-java.lang.reflect.Field-">visit</a></code>&nbsp;in interface&nbsp;<code><a href="../../randoop/reflection/ClassVisitor.html" title="interface in randoop.reflection">ClassVisitor</a></code></dd>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="../../randoop/reflection/DefaultClassVisitor.html#visit-java.lang.reflect.Field-">visit</a></code>&nbsp;in class&nbsp;<code><a href="../../randoop/reflection/DefaultClassVisitor.html" title="class in randoop.reflection">DefaultClassVisitor</a></code></dd>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>field</code> - a <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Field.html?is-external=true" title="class or interface in java.lang.reflect"><code>Field</code></a> object to be represented as an <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation"><code>Operation</code></a></dd>
</dl>
</li>
</ul>
<a name="visit-java.lang.Enum-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>visit</h4>
<pre>public&nbsp;void&nbsp;visit(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Enum.html?is-external=true" title="class or interface in java.lang">Enum</a>&lt;?&gt;&nbsp;e)</pre>
<div class="block">Creates a <a href="../../randoop/operation/EnumConstant.html" title="class in randoop.operation"><code>EnumConstant</code></a> object for the <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Enum.html?is-external=true" title="class or interface in java.lang"><code>Enum</code></a>.</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../randoop/reflection/ClassVisitor.html#visit-java.lang.Enum-">visit</a></code>&nbsp;in interface&nbsp;<code><a href="../../randoop/reflection/ClassVisitor.html" title="interface in randoop.reflection">ClassVisitor</a></code></dd>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="../../randoop/reflection/DefaultClassVisitor.html#visit-java.lang.Enum-">visit</a></code>&nbsp;in class&nbsp;<code><a href="../../randoop/reflection/DefaultClassVisitor.html" title="class in randoop.reflection">DefaultClassVisitor</a></code></dd>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>e</code> - an <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Enum.html?is-external=true" title="class or interface in java.lang"><code>Enum</code></a> object to be represented as an <a href="../../randoop/operation/Operation.html" title="interface in randoop.operation"><code>Operation</code></a></dd>
</dl>
</li>
</ul>
<a name="getOperations--">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>getOperations</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Collection.html?is-external=true" title="class or interface in java.util">Collection</a>&lt;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&gt;&nbsp;getOperations()</pre>
<div class="block">Returns the <a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation"><code>TypedOperation</code></a> objects collected for <a href="../../randoop/reflection/OperationExtractor.html#classType"><code>classType</code></a>.

 <p>Should be called after all members of the class are visited.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the collection of operations collected for the class</dd>
</dl>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar.bottom">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.bottom.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/reflection/OmitMethodsPredicate.html" title="class in randoop.reflection"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/reflection/OperationModel.html" title="class in randoop.reflection"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/reflection/OperationExtractor.html" target="_top">Frames</a></li>
<li><a href="OperationExtractor.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
